$\forall$$k$:$\mathbb{N}$. Konig($k$) $\in$ $\mathbb{P}$